Analysis of validated error bounds of surface-to-surface intersection

In this paper, we address the problem of computing the error bounds of surface to surface intersection and propose a novel procedure to reduce them. We formulate the surface to surface intersection problem as solving a system of ordinary differential equations and using the validated ODE solver we compute the validated a priori enclosures of an intersection curve, in which the existence and the uniqueness of a solution are guaranteed. Then we use straight line enclosures to reduce the size of the a priori enclosures. These reduced enclosures are again enclosed by bounding curves, which can be used as the reduced error bounds of the intersection curve. We demonstrate our method with tangential and transversal intersections.